大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Micro 的图书(共9047本)

Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

0
索取号：
作者：Giese、 Holger.、Karsai、 Gabor.、Lee、 Edward.、Rumpe、 Bernhard.、Sch盲tz、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

0
索取号：
作者：M茅ry、 Dominique.、Merz、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Brain, Body and Machine [electronic resource] : Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines

0
索取号：
作者：Angeles、 Jorge.、Boulet、 Benoit.、Clark、 James J.、K枚vecses、 J贸zsef.、Siddiqi、 Kaleem.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

0
索取号：
作者：Min、 Sang Lyul.、Pettit、 Robert.、Puschner、 Peter.、Ungerer、 Theo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Rough Set and Knowledge Technology [electronic resource] : 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings

0
索取号：
作者：Yu、 Jian.、Greco、 Salvatore.、Lingras、 Pawan.、Wang、 Guoyin.、Skowron、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

0
索取号：
作者：Ferm眉ller、 Christian G.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Artificial Intelligence Applications and Innovations [electronic resource] : 6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010. Proceedings

0
索取号：
作者：Papadopoulos、 Harris.、Andreou、 Andreas S.、Bramer、 Max.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Spoken Dialogue Systems for Ambient Environments [electronic resource] : Second International Workshop on Spoken Dialogue Systems Technology, IWSDS 2010, Gotemba, Shizuoka, Japan, October 1-2, 2010. Proceedings

0
索取号：
作者：Lee、 Gary Geunbae.、Mariani、 Joseph.、Minker、 Wolfgang.、Nakamura、 Satoshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Creating Balance? [electronic resource] : International Perspectives on the Work-Life Integration of Professionals

0
索取号：
作者：Kaiser、 Stephan.、Ringlstetter、 Max Josef.、Eikhof、 Doris Ruth.、Pina e Cunha、 Miguel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Discovery Science [electronic resource] : 13th International Conference, DS 2010, Canberra, Australia, October 6-8, 2010. Proceedings

0
索取号：
作者：Pfahringer、 Bernhard.、Holmes、 Geoff.、Hoffmann、 Achim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Comparative Genomics [electronic resource] : International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings

0
索取号：
作者：Tannier、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithmic Game Theory [electronic resource] : Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings

0
索取号：
作者：Kontogiannis、 Spyros.、Koutsoupias、 Elias.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Computing and Applications [electronic resource] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings

0
索取号：
作者：Zhu、 Rongbo.、Zhang、 Yanchun.、Liu、 Baoxiang.、Liu、 Chunfeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model Checking Software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

0
索取号：
作者：Pol、 Jaco.、Weber、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

0
索取号：
作者：Petriu、 Dorina C.、Rouquette、 Nicolas.、Haugen、 脴ystein.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops [electronic resource] : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers

0
索取号：
作者：Dan、 Asit.、Gittler、 Fr茅d茅ric.、Toumani、 Farouk.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.